busy beaver 函數
busy beaver$ \Sigma(n)
ビジービーバー - Wikipedia
ビジービーバー関数 | 巨大数研究 Wiki | Fandom